An introduction to mathematical logic and type theory - to truth through proof
- Författare
- P. B. (Peter Bruce) Andrews
- (Peter B. Andrews., Previous ed.: London: Academic, 1986., Includes bibliographical references and index.)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2010 | Nederländerna, Dordrecht, London | 390 sidor. ill. 24 cm. | 978-90-481-6079-2 |